منابع مشابه
Unpacking Blockchains
The Bitcoin digital currency appeared in 2009. Since this time, researchers and practitioners have looked “under the hood” of the open source Bitcoin currency, and discovered that Bitcoin’s “Blockchain” software architecture is useful for non-monetary purposes too. By coalescing the research and practice on Blockchains, this work begins to unpack Blockchains as a general phenomenon, therein, ar...
متن کاملUnpacking autonomy
1 Unpacking autonomy " Alors que les Etats restent au coeur du système international, leur capacité d'action se trouve désormais confrontée à la puissance des acteurs économiques, à la puissance des médias ou, pour le pire, à la puissance des réseaux terroristes et criminels; confrontée aussi aux risques de ce début de XXIe siècle: des flux migratoires de moins en moins maîtrisés; un bouleverse...
متن کاملState Spaces - The Locale Way
These theories introduce a new command called statespace. It’s usage is similar to records. However, the command does not introduce a new type but an abstract specification based on the locale infrastructure. This leads to extra flexibility in composing state space components, in particular multiple inheritance and renaming of components. The state space infrastructure basically manages the fol...
متن کاملLocales and Locale Expressions in Isabelle/Isar
Locales provide a module system for the Isabelle proof assistant. Recently, locales have been ported to the new Isar format for structured proofs. At the same time, they have been extended by locale expressions, a language for composing locale specifications, and by structures, which provide syntax for algebraic structures. The present paper presents both and is suitable as a tutorial to locale...
متن کاملPositivity relations on a locale
This paper analyses the notion of a positivity relation of Formal Topology from the point of view of the theory of Locales. It is shown that a positivity relation on a locale corresponds to a suitable class of points of its lower powerlocale. In particular, closed subtopologies associated to the positivity relation correspond to overt (that is, with open domain) weakly closed sublocales. Finall...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: History of Women in the Americas
سال: 2017
ISSN: 2042-6348
DOI: 10.14296/hwa.v4i0.2374